29172 search results - page 274 / 5835 » Modeling Systems in CLP |
165
click to vote
ASPDAC
2006
ACM
16 years 19 days ago
2006
ACM
- Early estimation of the execution time of Real-Time embedded SW is an essential task in complex, HW/SW embedded system design. Application SW execution time estimation requires t...
195
click to vote
ENTCS
2006
15 years 6 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
183
click to vote
IJAIT
2006
15 years 6 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
190
click to vote
JCB
2002
15 years 6 months ago
2002
In order to understand the functioning of organisms on the molecular level, we need to know which genes are expressed, when and where in the organism, and to which extent. The reg...
169
click to vote
TROB
2002
15 years 6 months ago
2002
Abstract-- This work studies a class of hybrid mechanical systems that locomote by switching between constraints defining different dynamic regimes. We develop a geometric framewor...