352 search results - page 63 / 71 » The usage of stochastic processes in embedded system specifi... |
FCCM
2007
IEEE
14 years 3 months ago
2007
IEEE
Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...
ECRTS
2009
IEEE
13 years 6 months ago
2009
IEEE
Performing QoS (Quality of Service) control in large computing systems requires an on line metric that is representative of the real state of the system. The Tardiness Quantile Me...
ICST
2008
IEEE
14 years 3 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
BMCBI
2010
13 years 8 months ago
2010
Background: Phenomenological information about regulatory interactions is frequently available and can be readily converted to Boolean models. Fully quantitative models, on the ot...
SASO
2009
IEEE
14 years 3 months ago
2009
IEEE
Geographically embedded processes with hidden origins are often observable in events they generate. It is common practice in criminological forensics to reverse simple equation-ba...