1835 search results - page 280 / 367 » Functional Programming of Behavior-Based Systems |
FM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
111
click to vote
WETICE
2003
IEEE
15 years 7 months ago
2003
IEEE
Agent.Hospital is an open agent-based (software) framework for distributed applications in the healthcare domain. Previous appropriation of the Agent.Hospital development is appli...
102
Voted
COMPCON
1996
IEEE
15 years 6 months ago
1996
IEEE
An important objective of the MicroUnity mediaprocessor is to allow the design of systems that replace hardwired functionality with software. One of the key design techniques that...
114
click to vote
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
We consider optimal allocation of resources to users in a downlink OFDMA system to support heterogeneous applications consisting of both deadline-sensitive (DS) and best-effort (BE...
120
click to vote
ARCS
2006
Springer
15 years 6 months ago
2006
Springer
: A powerful and widely-used method for analyzing the performance behavior of parallel programs is event tracing. When an application is traced, performancerelevant events, such as...