Sciweavers

216 search results - page 33 / 44
» Hardware Software Approach to Molecular Dynamics on Reconfig...
Sort
View
PTS
2010
147views Hardware» more  PTS 2010»
14 years 10 months ago
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...
WOSP
1998
ACM
15 years 3 months ago
Poems: end-to-end performance design of large parallel adaptive computational systems
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo,...
HPCC
2007
Springer
15 years 5 months ago
CIVIC: A Hypervisor Based Virtual Computing Environment
The purpose of virtual computing environment is to improve resource utilization by providing a unified integrated operating platform for users and applications based on aggregation...
Jinpeng Huai, Qin Li, Chunming Hu
82
Voted
ETS
2002
IEEE
87views Hardware» more  ETS 2002»
14 years 11 months ago
IT-Giftedness in Children and Adolescents
IT-giftedness represents abilities related with widely differing uses of information technologies (IT). Children and adolescents often exhibit surprising abilities in the use of c...
Julia D. Babaeva, Alexander E. Voiskounsky
MOBISYS
2008
ACM
15 years 11 months ago
Trustworthy and personalized computing on public kiosks
Many people desire ubiquitous access to their personal computing environments. We present a system in which a user leverages a personal mobile device to establish trust in a publi...
Scott Garriss, Ramón Cáceres, Stefan...