Sciweavers

3168 search results - page 473 / 634
» Computing Event Dependencies in System Designs and Programs
Sort
View
VEE
2012
ACM
187views Virtualization» more  VEE 2012»
14 years 1 months ago
DDGacc: boosting dynamic DDG-based binary optimizations through specialized hardware support
Dynamic Binary Translators (DBT) and Dynamic Binary Optimization (DBO) by software are used widely for several reasons including performance, design simplification and virtualiza...
Demos Pavlou, Enric Gibert, Fernando Latorre, Anto...
ENTCS
2008
102views more  ENTCS 2008»
15 years 5 months ago
Soft Linear Logic and Polynomial Complexity Classes
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi De...
167
Voted
CBSE
2004
Springer
15 years 11 months ago
Extra-Functional Contract Support in Components
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
Olivier Defour, Jean-Marc Jézéquel, ...
152
Voted
CHI
2010
ACM
15 years 5 months ago
How routine learners can support family coordination
Researchers have detailed the importance of routines in how people live and work, while also cautioning system designers about the importance of people's idiosyncratic behavi...
Scott Davidoff, John Zimmerman, Anind K. Dey
EKAW
2004
Springer
15 years 11 months ago
KATS: A Knowledge Acquisition Tool Based on Electronic Document Processing
This paper describes a particular knowledge acquisition tool for the construction and maintenance of the knowledge model of an intelligent system for emergency management in the fi...
Martín Molina, Gemma Blasco