1884 search results - page 227 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
108
click to vote
DSOM
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Object middleware is an enabling technology for distributed applications that are required to operate in heterogeneous computing and communication environments. Although ...
103
click to vote
FMCAD
2007
Springer
15 years 5 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
107
click to vote
MOBIS
2008
15 years 2 months ago
2008
Abstract: Enterprise architecture management is based on a holistic view on the enterprise addressing business and IT aspects in an integrated manner. EA management is a process to...
127
click to vote
FAC
2000
15 years 1 months ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
127
click to vote
MODELS
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...