5096 search results - page 630 / 1020 » Associations as a Language Construct |
185
click to vote
ACL2
2006
ACM
16 years 24 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
196
click to vote
PLDI
2006
ACM
16 years 23 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
233
click to vote
PLDI
2006
ACM
16 years 23 days ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
205
click to vote
PPPJ
2006
ACM
16 years 23 days ago
2006
ACM
Today’s complex applications must face the distribution of data and code among different network nodes. Java is a wide-spread language that allows developers to build complex so...
184
click to vote
MM
2005
ACM
16 years 11 days ago
2005
ACM
Querying live media streams is a challenging problem that is becoming an essential requirement in a growing number of applications. Research in multimedia information systems has ...