708 search results - page 130 / 142 » Precise Specification and Automatic Application of Design Pa... |
119
click to vote
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires adva...
117
Voted
TSE
2010
14 years 6 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
130
click to vote
ICFP
2010
ACM
14 years 12 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
103
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: Scientific workflows improve the process of scientific experiments by making computations explicit, underscoring data flow, and emphasizing the participation of humans...