1809 search results - page 183 / 362 » Software Model Checking Using Linear Constraints |
EMSOFT
2005
Springer
14 years 3 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
CAD
2000
Springer
13 years 9 months ago
2000
Springer
Very large and geometrically complex scenes, exceeding millions of polygons and hundreds of objects, arise naturally in many areas of interactive computer graphics. Time-critical ...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract--Discrete multitone modulation (DMT) systems exploit the capabilities of orthogonal subcarriers to cope efficiently with narrowband interference, high frequency attenuatio...
DAC
1998
ACM
14 years 10 months ago
1998
ACM
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...
ANOR
2007
13 years 9 months ago
2007
The profitability and morale of many organizations (such as factories, hospitals and airlines) are affected by their ability to schedule their personnel properly. Sophisticated an...