2364 search results - page 205 / 473 » An Engine for Computing Well-Founded Models |
138
click to vote
ACMMSP
2004
ACM
15 years 10 months ago
2004
ACM
Irregular applications frequently exhibit poor performance on contemporary computer architectures, in large part because of their inefficient use of the memory hierarchy. Runtime ...
149
Voted
WSE
2002
IEEE
15 years 10 months ago
2002
IEEE
The World Wide Web, initially intended as a way to publish static hypertexts on the Internet, is moving toward complex applications. Static Web sites are being gradually replaced ...
160
click to vote
AOSE
2001
Springer
15 years 9 months ago
2001
Springer
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...
162
Voted
ENTCS
2010
15 years 2 months ago
2010
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
175
Voted
SAMOS
2010
Springer
15 years 3 months ago
2010
Springer
—Instruction set simulators (ISS) are vital tools for compiler and processor architecture design space exploration and verification. State-of-the-art simulators using just-in-ti...