15155 search results - page 276 / 3031 » System Software |
105
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
In this article we present an approach to object-oriented hardware design and synthesis based on SystemC. We will
182
click to vote
IEE
2010
15 years 5 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
183
click to vote
CL
2006
Springer
15 years 6 months ago
2006
Springer
Many software systems suffer from missing support for behavioral (runtime) composition and configuration of software components. The concern "behavioral composition and confi...
181
click to vote
MOBISYS
2004
ACM
16 years 6 months ago
2004
ACM
ZebraNet is a mobile, wireless sensor network in which nodes move throughout an environment working to gather and process information about their surroundings [10]. As in many sen...
196
click to vote
CMG
2001
15 years 8 months ago
2001
Rapid advances in research and technology now allow data analysis and modeling of extremely complex systems. Methods from artificial intelligence (AI) such as Neural Networks have...