1755 search results - page 226 / 351 » An efficient simulation algorithm based on abstract interpre... |
170
click to vote
FMN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Peer-to-Peer systems become popular applications but suffer from insufficient resource availability which is caused by free-riders and inefficient lookup algorithms. To a...
178
click to vote
IPMI
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We propose a novel method, fMRI-Informed Regional Estimation (FIRE), which utilizes information from fMRI in E/MEG source reconstruction. FIRE takes advantage of the spat...
189
click to vote
ASAP
2005
IEEE
16 years 14 days ago
2005
IEEE
As billion transistor System-on-chips (SoC) become commonplace and design complexity continues to increase, designers are faced with the daunting task of meeting escalating design...
192
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We describe a prototype emergency and disaster information system designed and implemented using DDDAS concepts. The system is designed to use real-time cell phone callin...
164
click to vote
DAM
2006
15 years 6 months ago
2006
Abstract. Artin's braid groups currently provide a promising background for cryptographical applications, since the first cryptosystems using braids were introduced in [2, 3, ...