10707 search results - page 55 / 2142 » Designing executable abstractions |
91
Voted
ENTCS
2008
15 years 2 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
ICCAD
2000
IEEE
15 years 7 months ago
2000
IEEE
For data dominated applications, the system level design trajectory should first focus on finding a good data transfer and storage solution. Since no realization details are avail...
128
Voted
RTS
2010
15 years 1 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
119
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
122
Voted
SG
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This work introduces a new interaction framework for dynamic virtual environments. The proposed system is designed to deal with all possible interactions in a virtual wor...