Sciweavers

17082 search results - page 45 / 3417
» Abstractions for Mobile Computation
Sort
View
CAV
2006
Springer
117views Hardware» more  CAV 2006»
14 years 19 days ago
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop
e Abstraction and Refinement Loop Himanshu Jain1,2, Franjo Ivanci
Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya S...
ATVA
2006
Springer
162views Hardware» more  ATVA 2006»
14 years 19 days ago
Predicate Abstraction of Programs with Non-linear Computation
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
Songtao Xia, Ben Di Vito, César Muño...
PDPTA
2003
13 years 10 months ago
Mobile Agents for Pervasive Computing Using a Novel Method of Message Passing
- Pervasive computing is an emerging technology that brings new dimensions to distributed computing; it uses a wide variety of smart, ubiquitous devices throughout an individual’...
David Levine, Renjith Thomas, Farhad Kamangar, Ger...
HYBRID
2009
Springer
14 years 3 months ago
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
ion of discrete abstractions of arbitrary memory span for nonlinear sampled systems Gunther Reißig⋆ Technische Universit¨at Berlin, Fakult¨at Elektrotechnik und Informatik, He...
Gunther Reißig
TPDS
2010
185views more  TPDS 2010»
13 years 7 months ago
All-Pairs: An Abstraction for Data-Intensive Computing on Campus Grids
s: An Abstraction for Data Intensive Computing on Campus Grids Christopher Moretti, Hoang Bui, Karen Hollingsworth, Brandon Rich, Patrick Flynn, and Douglas Thain Department of Com...
Christopher Moretti, Hoang Bui, Karen Hollingswort...