7426 search results - page 403 / 1486 » The LHC Computing Challenge |
182
click to vote
FMICS
2010
Springer
15 years 7 months ago
2010
Springer
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...
213
click to vote
DEBU
2007
15 years 7 months ago
2007
Mobile data management has been an active area of research for the past fifteen years. Besides dealing with mobility itself, issues central in data management for mobile computin...
175
click to vote
TDP
2008
15 years 7 months ago
2008
The vast amount of data now collected on human beings and organizations as a result of cyberinfrastructure advances has created similarly vast opportunities for social sc...
190
click to vote
CCE
2004
15 years 7 months ago
2004
An overview of developments in the scheduling of multiproduct/multipurpose batch and continuous processes is presented. Existing approaches are classified based on the time repres...
173
click to vote
CN
1999
15 years 7 months ago
1999
Secure coprocessors enable secure distributed applications by providing safe havens where an application program can Z .execute and accumulate state , free of observation and inte...