3828 search results - page 411 / 766 » Proof-Based System Engineering Using a Virtual System Model |
191
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Today’s wirelessly networked embedded systems underlie a vast array of electronic devices, performing computation, communication, and input/output. A major design goal...
195
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
197
click to vote
DAIS
2007
15 years 8 months ago
2007
Constructing and executing distributed applications that can adapt to their current operating context, in order to maintain or enhance Quality of Service (QoS) attribute levels, ar...
157
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...
205
click to vote
GLVLSI
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a novel statistical capacitance extraction method for interconnects considering process variations. The new method, called statCap, is based on the spect...