6740 search results - page 931 / 1348 » Using Classification as a Programming Language |
178
click to vote
ISPASS
2005
IEEE
16 years 13 days ago
2005
IEEE
As Java is emerging as one of the major programming languages in software development, studying how Java applications behave on recent SMT processors is of great interest. This pa...
162
click to vote
TGC
2005
Springer
16 years 10 days ago
2005
Springer
Programmers write programs, expressing plans for machines to execute. When composed so that they may cooperate, plans may instead interfere with each other in unanticipated ways. P...
170
Voted
PASTE
2010
ACM
15 years 12 months ago
2010
ACM
Inaccurate documentation can mislead programmers and cause software to fail in unexpected ways. We examine mismatches between documented and actual error codes returned by 42 Linu...
164
click to vote
SAC
1998
ACM
15 years 11 months ago
1998
ACM
This paper shows how a recently introduced class of applications can be solved by constraint programming. This new type of application is due to the emergence of special real-time...
200
click to vote
LPNMR
1993
Springer
15 years 11 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...