6740 search results - page 934 / 1348 » Using Classification as a Programming Language |
175
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
199
click to vote
PLDI
2004
ACM
16 years 8 days ago
2004
ACM
+ Modern network processors employ multi-threading to allow concurrency amongst multiple packet processing tasks. We studied the properties of applications running on the network p...
213
click to vote
FATES
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
198
click to vote
SIGPLAN
1998
15 years 6 months ago
1998
DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environm...
211
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
The rise of multi-core processors has shifted performance efforts towards parallel programs. However, single-threaded code, whether from legacy programs or ones difficult to para...