1541 search results - page 286 / 309 » Software Hardware Co-Scheduling for Reconfigurable Computing... |
DIM
2007
ACM
14 years 18 days ago
2007
ACM
We have implemented an identity provider (IdP), which is defined by the Liberty Alliance on a mobile phone. We propose an authentication method, which uses this personal IdP as a ...
SPAA
2006
ACM
14 years 2 months ago
2006
ACM
LOFAR is the first of a new generation of radio telescopes, that combines the signals from many thousands of simple, fixed antennas, rather than from expensive dishes. Its revol...
VRCAI
2009
ACM
14 years 3 months ago
2009
ACM
Game engines of cinematic quality, broadband networking and advances in Virtual Reality (VR) technologies are setting the stage to allow players to have shared, “better-than-lif...
EUROCAST
2007
Springer
14 years 16 days ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
In recent years, exciting technological advances have been made in development of flexible electronics. These technologies offer the opportunity to weave computation, communicat...