نتایج جستجو برای: parallel programming
تعداد نتایج: 531556 فیلتر نتایج به سال:
Journal:
:Computers in Physics
1988
Journal:
:Future Generation Computer Systems
2003
Journal:
:Science of Computer Programming
1992
Journal:
:Procedia Computer Science
2010
Journal:
:Proceedings of the ACM on programming languages
2021
Bounded-exhaustive testing (BET), which exercises a program under test for all inputs up to some bounds, is an effective method detecting software bugs. Systematic property-based BET approach where developers write generation programs that describe properties of inputs. Hybrid offer the most expressive way desired by freely combining declarative filters and imperative generators. However, explo...
Journal:
:The International Journal of High Performance Computing Applications
2018
Journal:
:Journal of Software
2008
Journal:
:Theoretical Computer Science
1992
Journal:
:Computing in Science & Engineering
2010
Journal:
:Theoretical Computer Science
1988
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید