Sciweavers

1885 search results - page 231 / 377
» Optimization of Component Connections for an Embedded Compon...
Sort
View
VLDB
2007
ACM
128views Database» more  VLDB 2007»
15 years 10 months ago
A genetic approach for random testing of database systems
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
Hardik Bati, Leo Giakoumakis, Steve Herbert, Aleks...
ICDCS
2009
IEEE
15 years 11 months ago
On Optimal Concurrency Control for Optimistic Replication
Concurrency control is a core component in optimistic replication systems. To detect concurrent updates, the system associates each replicated object with metadata, such as, versi...
Weihan Wang, Cristiana Amza
HICSS
2009
IEEE
107views Biometrics» more  HICSS 2009»
15 years 11 months ago
EM Enforcing Information Flow Properties using Compensating Events
Deeply embedded infrastructures are pervasive systems that have significant cyber and physical components, interacting with each other in complex ways. These interactions can vio...
Thoshitha T. Gamage, Bruce M. McMillin
LICS
1996
IEEE
15 years 8 months ago
The Theory of Hybrid Automata
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
Thomas A. Henzinger
134
Voted
WSC
2008
15 years 7 months ago
Automated execution of simulation studies demonstrated via a simulation of a car
In the automotive area, a huge number of different technologies were developed in the last couples of years. The car manufacturers have to meet the challenge of selecting the most...
Sven Dominka, Eduard Broecker, Frank Schiller