1541 search results - page 134 / 309 » Tools and Techniques for Model Checking Networked Programs |
180
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Biomedical and chemical databases are large and rapidly growing in size. Graphs naturally model such kinds of data. To fully exploit the wealth of information in these...
214
click to vote
COMJ
2010
15 years 1 months ago
2010
Even though bidirectional, high-quality and low-latency audio systems for network performance are available, the complexity involved in setting up remote sessions needs better too...
152
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
165
click to vote
TOOLS
1991
IEEE
15 years 8 months ago
1991
IEEE
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
123
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
The paper deals with the problem of computing schedules for multi-threaded real-time programs. In [14] we introduced a scheduling method based on the geometrization of PV programs...