3828 search results - page 68 / 766 » Proof-Based System Engineering Using a Virtual System Model |
169
click to vote
CASES
2004
ACM
15 years 7 months ago
2004
ACM
Title of thesis: MEMORY OVERFLOW PROTECTION FOR EMBEDDED SYSTEMS USING RUN-TIME CHECKS, REUSE AND COMPRESSION Surupa Biswas, Master of Science, 2004 Thesis directed by: Assistant ...
123
click to vote
CGO
2006
IEEE
15 years 8 months ago
2006
IEEE
As the amount of available silicon resources on one chip increases, we have seen the advent of ever increasing parallel resources integrated on-chip. Many architectures use these ...
134
click to vote
DEBS
2010
ACM
15 years 5 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...
137
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
VLDB
2005
ACM
15 years 8 months ago
2005
ACM
In this demonstration, we describe a system for storing and querying faceted hierarchies. We have developed a general faceted domain model and a query language for hierarchically ...