Sciweavers

647 search results - page 113 / 130
» Dynamic Instrumentation of Production Systems
Sort
View
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 8 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
VISUALIZATION
1999
IEEE
15 years 8 months ago
Digital Design of a Surgical Simulator for Interventional Magnetic Resonance Imaging
We present the design of a simulator for a prototype interventional magnetic resonance imaging scanner. This MRI scanner is integrated with an operating theater, enabling new tech...
Terry S. Yoo, Penny Rheingans
VLDB
2000
ACM
166views Database» more  VLDB 2000»
15 years 8 months ago
High-Performance and Scalability through Application Tier,In-Memory Data Management
TimesTen Performance Software's Front-Tier product is an application-tier data cache that inter-operates with disk-based relational database management systems (RDBMSs) to ac...
CAISE
2008
Springer
15 years 6 months ago
Improving Data Independence, Efficiency and Functional Flexibility of Integration Platforms
The concept of Enterprise Application Integration (EAI) is widely used for integrating heterogeneous applications and systems by message-based communication. Typically, EAI servers...
Matthias Böhm, Jürgen Bittner, Dirk Habi...
CCE
2004
15 years 4 months ago
Thermodynamic uncertainties in batch processing and optimal control
Batch distillation is an important separation process for small-scale production especially in pharmaceutical, specialty chemical and biochemical industries. Although batch distil...
Saadet Ulas, Urmila M. Diwekar