1332 search results - page 179 / 267 » A generative programming approach to developing pervasive co... |
137
Voted
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Memory-related activity is one of the major sources of energy consumption in embedded systems. Many types of memories used in embedded systems allow multiple operating modes (e.g....
199
Voted
FASE
2011
Springer
14 years 6 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
137
Voted
DEBS
2010
ACM
15 years 6 months ago
2010
ACM
An event-based solution that uses events to convey information to a monitoring tool is well suited to implementing a non-intrusive monitoring infrastructure. This enables an SOA s...
117
Voted
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
In preemptive real-time systems, a tighter estimate of the Worst Case Response Time(WCRT) of the tasks can be obtained if the layout of the tasks in memory is included in the esti...
149
Voted
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...