2231 search results - page 291 / 447 » Alternation as a programming paradigm |
184
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
172
click to vote
DASFAA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Web services are increasingly being used in business critical environments, enabling uniform access to services provided by distinct parties. In these environments, an op...
152
click to vote
FPGA
2009
ACM
16 years 1 months ago
2009
ACM
Modern Field Programmable Gate Arrays (FPGA) can be programmed with multiple soft-core processors. These solutions can be used for MultiProcessor Systems-on-Chip (MPSoCs) prototyp...
180
click to vote
HAPTICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We measure the performance improvement that force feedback can provide in a virtual environment, through three experiments with, and without the assistance of haptic guidance. Per...
235
click to vote
JTRES
2009
ACM
16 years 1 months ago
2009
ACM
Real-time Java is quickly emerging as a platform for building safety-critical embedded systems. The real-time variants of Java, including [8, 15], are attractive alternatives to A...