Sciweavers

2284 search results - page 150 / 457
» The new iris data: modular data generators
Sort
View
ICCAD
1997
IEEE
162views Hardware» more  ICCAD 1997»
15 years 4 months ago
Application-driven synthesis of core-based systems
We developed a new hierarchical modular approach for synthesis of area-minimal core-based data-intensive systems. The optimization approach employs a novel global least-constraini...
Darko Kirovski, Chunho Lee, Miodrag Potkonjak, Wil...
114
Voted
COMPLIFE
2006
Springer
15 years 4 months ago
Software Supported Modelling in Pharmacokinetics
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
Regina Telgmann, Max von Kleist, Wilhelm Huisinga
ANCS
2008
ACM
15 years 2 months ago
On runtime management in multi-core packet processing systems
Computer networks require increasingly complex packet processing in the data path to adapt to new functionality requirements. To meet performance demands, packet processing system...
Qiang Wu, Tilman Wolf
LISA
2001
15 years 2 months ago
Gossips: System and Service Monitor
Gossips is a modular client/server based system monitor. It uses distributed monitoring tasks to define and report states of an IT-environment. A monitoring task includes probes t...
Victor Götsch, Albert Wuersch, Tobias Oetiker
136
Voted
ECOOP
2008
Springer
15 years 1 months ago
Regional Logic for Local Reasoning about Global Invariants
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
Anindya Banerjee, David A. Naumann, Stan Rosenberg