Sciweavers

12333 search results - page 75 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
ECBS
2002
IEEE
114views Hardware» more  ECBS 2002»
14 years 2 months ago
An Intelligent Agent Security Intrusion System
Network security has now become one of the most important aspects in computer systems and the Internet. Apart from strong encryption, there is no definite method of truly securing...
J. Pikoulas, William J. Buchanan, Mike Mannion, K....
ECBS
2008
IEEE
110views Hardware» more  ECBS 2008»
14 years 3 months ago
Goal-Based Modeling of Dynamically Adaptive System Requirements
Self-adaptation is emerging as an increasingly important capability for many applications, particularly those deployed in dynamically changing environments, such as ecosystem moni...
Heather Goldsby, Peter Sawyer, Nelly Bencomo, Bett...
VMCAI
2009
Springer
14 years 4 months ago
A Scalable Memory Model for Low-Level Code
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
Zvonimir Rakamaric, Alan J. Hu
ICCAD
2002
IEEE
80views Hardware» more  ICCAD 2002»
14 years 6 months ago
Minimizing power across multiple technology and design levels
Approaches to achieve low-power and high-speed VLSI's are described with the emphasis on techniques across multiple technology and design levels. To suppress the leakage curr...
Takayasu Sakurai
CODES
1997
IEEE
14 years 1 months ago
System level memory optimization for hardware-software co-design
Koen Danckaert, Francky Catthoor, Hugo De Man