4067 search results - page 152 / 814 » Programs for Applying Symmetries |
SIGMOD
2003
ACM
14 years 8 months ago
2003
ACM
Model management aims at reducing the amount of programming needed for the development of metadata-intensive applications. We present a first complete prototype of a generic model...
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
CEC
2009
IEEE
14 years 3 months ago
2009
IEEE
— Polymorphic digital circuits contain ordinary and polymorphic gates. In the past, Cartesian Genetic Programming (CGP) has been applied to synthesize polymorphic circuits at the...
APSEC
2008
IEEE
14 years 2 months ago
2008
IEEE
Online update is a technique that reduces the disruption caused by a software update. It does so by applying a patch to a running process as opposed to shutting down the process a...
SEMCO
2008
IEEE
14 years 2 months ago
2008
IEEE
The agent-based approach is an effective one for building middleware interconnecting distributed heterogeneous resources and providing semantic interoperability among them. On the...