564 search results - page 83 / 113 » Animators for Generated Programming Environments |
ERLANG
2004
ACM
14 years 15 days ago
2004
ACM
This paper introduces a new platform designed for mobile gambling services. The special characteristics of these services lead us to developed a multiservice platform that easily ...
MASCOTS
1998
13 years 10 months ago
1998
A common shortcoming of many network measurement programs is that their metrics are not expressed in terms directly applicable to applications and users. To address this problem, ...
DAC
2005
ACM
13 years 10 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
CONCURRENCY
2000
13 years 8 months ago
2000
The Java .class file is a compact encoding of programs for a stack-based virtual machine. It is intended for use in a networked environment, which requires machine independence an...
ICST
2010
IEEE
13 years 7 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...