Sciweavers

1830 search results - page 101 / 366
» Centering in Dynamic Semantics
Sort
View
JFP
2008
72views more  JFP 2008»
14 years 11 months ago
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
Peter Sewell, Gareth Stoyle, Michael Hicks, Gavin ...
AAAI
1998
15 years 20 days ago
An Ontology for Transitions in Physical Dynamic Systems
Physical systemsoften exhibit complexnonlinear behaviors in continuoustime at multiple temporaland spatial scales. Abstractionssimplify behavioralanalysis and help focus on domina...
Pieter J. Mosterman, Feng Zhao, Gautam Biswas
EUROSYS
2007
ACM
15 years 8 months ago
Adaptive control of virtualized resources in utility computing environments
Data centers are often under-utilized due to over-provisioning as well as time-varying resource demands of typical enterprise applications. One approach to increase resource utili...
Pradeep Padala, Kang G. Shin, Xiaoyun Zhu, Mustafa...
82
Voted
INFOCOM
2009
IEEE
15 years 6 months ago
An Evaluation of Weak State Mechanism Design for Indirection in Dynamic Networks
—State signaling and maintenance mechanisms play crucial roles in communication network protocols. State is used to facilitate indirections in protocols such as routing. Design a...
Utku Gunay Acer, Alhussein A. Abouzeid, Shivkumar ...
ICSM
2006
IEEE
15 years 5 months ago
Software Feature Understanding in an Industrial Setting
Software Engineers frequently need to locate and understand the code that implements a specific user feature of a large system. This paper reports on a study by Motorola Inc. and ...
Michael Jiang, Michael Groble, Sharon Simmons, Den...