2632 search results - page 93 / 527 » Alternating Timed Automata |
179
click to vote
FASE
2004
Springer
15 years 5 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
ICCD
2001
IEEE
15 years 10 months ago
2001
IEEE
Parallel saturating multioperand adders significantly improve the performance of GSM speech coders by giving compilers and assembly language programmers the ability to paralleliz...
106
click to vote
HVC
2005
Springer
15 years 7 months ago
2005
Springer
Non-determinism is a serious impediment to testing and debugging concurrent programs. Such programs do not execute the same way each time they are run, which can hide the presence ...
ERCIMDL
2004
Springer
15 years 7 months ago
2004
Springer
Web technologies offer new methods for quickly sharing and disseminating knowledge. Digital libraries of scholarly assets are proliferating online, with materials being openly lice...
PG
2003
IEEE
15 years 6 months ago
2003
IEEE
We present a new approach to isosurface visualization that we call “iso-splatting.” We use point primitives for representing and rendering isosurfaces. The method consists of ...