1251 search results - page 225 / 251 » Using Semantics for Resource Allocation in Computing Service... |
134
click to vote
ISORC
2005
IEEE
15 years 7 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
152
Voted
AIRWEB
2009
Springer
15 years 8 months ago
2009
Springer
The popularity of social bookmarking sites has made them prime targets for spammers. Many of these systems require an administrator’s time and energy to manually filter or remo...
117
click to vote
CCGRID
2004
IEEE
15 years 5 months ago
2004
IEEE
Net-dbx-G is a tool that utilizes Java and other World Wide Web tools as an interface to Grid services to help Grid application developers debug their MPI programs from anywhere i...
125
click to vote
IEEEPACT
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper describes a compiler for stream programs that efficiently schedules computational kernels and stream memory operations, and allocates on-chip storage. Our compiler uses...
139
click to vote
NSDI
2008
15 years 4 months ago
2008
Usenet is a popular distributed messaging and file sharing service: servers in Usenet flood articles over an overlay network to fully replicate articles across all servers. Howeve...