Sciweavers

1187 search results - page 192 / 238
» Graph-Based Procedural Abstraction
Sort
View
EUROPAR
2009
Springer
15 years 1 months ago
Dynamic Virtual Cluster Reconfiguration for Efficient IaaS Provisioning
Abstract. Cloud computing is an emerging paradigm to provide Infrastructure as a Service (IaaS). In this paper we present NEPTUNE-IaaS, a software system able to support the whole ...
Vittorio Manetti, Pasquale Di Gennaro, Roberto Bif...
ICCS
2007
Springer
15 years 1 months ago
Multi-level Coupling of Dynamic Data-Driven Experimentation with Material Identification
Abstract. We describe a dynamic data-driven methodology that is capable of simultaneously determining both the parameters of a constitutive model associated with the response of a ...
John Michopoulos, Tomonari Furukawa
AMDO
2006
Springer
15 years 1 months ago
Towards Hands-Free Interfaces Based on Real-Time Robust Facial Gesture Recognition
Abstract. Perceptual user interfaces are becoming important nowadays, because they offer a more natural interaction with the computer via speech recognition, haptics, computer visi...
Cristina Manresa-Yee, Xavier Varona, Francisco J. ...
APNOMS
2006
Springer
15 years 1 months ago
Improved Handoff Performance Based on Pre-binding Update in HMIPv6
Abstract. In this paper, an efficient neighbor AR (Access Router) discovery scheme and handoff procedure using neighbor information are proposed. It allows each AR and Mobility Anc...
Jongpil Jeong, Min Young Chung, Hyunseung Choo
CAV
2004
Springer
108views Hardware» more  CAV 2004»
15 years 1 months ago
Functional Dependency for Verification Reduction
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
Jie-Hong Roland Jiang, Robert K. Brayton