Sciweavers

3547 search results - page 461 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
ADAEUROPE
2004
Springer
16 years 3 days ago
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
Bárbara Álvarez, Juan A. Pastor, Fra...
ADAEUROPE
2004
Springer
16 years 3 days ago
Implementing an Application-Defined Scheduling Framework for Ada Tasking
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
Mario Aldea Rivas, Francisco Javier Miranda Gonz&a...
HUC
2004
Springer
16 years 2 days ago
The Iterative Design Process of a Location-Aware Device for Group Use
Abstract. We present our approach to the design of two generations of outdoors device that enable visitors to view 3D historical reconstructions when exploring present day sites. R...
Holger Schnädelbach, Boriana Koleva, Michael ...
COMPSAC
2002
IEEE
15 years 11 months ago
Concurrency Control with Java and Relational Databases
As web–based information systems usually run in concurrent environment, the complexity for implementing and testing those systems is significantly high. Therefore it is useful ...
Sérgio Soares, Paulo Borba
ISQED
2002
IEEE
129views Hardware» more  ISQED 2002»
15 years 11 months ago
Design Method and Automation of Comparator Generation for Flash A/D Converter
The design methods and the automation of the comparator circuit layout generation for a flash A/D converter are presented in this paper. The threshold inverter quantization (TIQ)...
Daegyu Lee, Jincheol Yoo, Kyusun Choi