3979 search results - page 231 / 796 » Wild control operators |
161
click to vote
HYBRID
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...
150
click to vote
ICWE
2007
Springer
16 years 22 days ago
2007
Springer
In this paper, we discuss the major issues associated with the new model of software delivery – service on demand – and explain why it alters the economics of software. As this...
163
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
Due to technology limitations as well as stringent operating conditions that are imposed, the design of fully integrated analog RF front-end circuits is aimed at the edge of the r...
145
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
—The technique of module-threading utilizes standard DDR DRAM components to build modified memory modules. These modified modules incorporate one or more additional control signa...
189
click to vote
MFCS
1998
Springer
15 years 10 months ago
1998
Springer
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...