Sciweavers

1481 search results - page 24 / 297
» Optimal Reductions in Interaction Systems
Sort
View
IADIS
2003
14 years 12 months ago
Mobile Data Sharing and Collaboration
Problems of data retrieval and collaborative work in mobile environment are introduced. System architecture of a system solving these problems is introduced and described. A short...
Martin Klíma, Zdenek Mikovec, Pavel Slav&ia...
TACAS
2012
Springer
288views Algorithms» more  TACAS 2012»
13 years 6 months ago
Reduction-Based Formal Analysis of BGP Instances
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gu...
ICDE
2004
IEEE
119views Database» more  ICDE 2004»
15 years 12 months ago
Improving Logging and Recovery Performance in Phoenix/App
Phoenix/App supports software components whose states are made persistent across a system crash via redo recovery, replaying logged interactions. Our initial prototype force logge...
Roger S. Barga, Shimin Chen, David B. Lomet
WORDS
2002
IEEE
15 years 3 months ago
Middleware Scheduling Optimization Techniques for Distributed Real-Time and Embedded Systems
Developers of mission-critical distributed real-time and embedded (DRE) systems face a fundamental tension between (1) the performance gains achievable with hand-crafted optimizat...
Christopher D. Gill, Ron Cytron, Douglas C. Schmid...
ICCAD
1996
IEEE
77views Hardware» more  ICCAD 1996»
15 years 2 months ago
Power optimization in disk-based real-time application specific systems
While numerous power optimization techniques have been at all levels of design process abstractions for electronic components, until now, power minimization in mixed mechanical-el...
Inki Hong, Miodrag Potkonjak