1472 search results - page 138 / 295 » Designing digital video systems: modeling and scheduling |
186
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
225
click to vote
ICS
2005
Tsinghua U.
15 years 12 months ago
2005
Tsinghua U.
The Replica Placement Problem (RPP) aims at creating a set of duplicated data objects across the nodes of a distributed system in order to optimize certain criteria. Typically, RP...
158
click to vote
ELPUB
2000
ACM
15 years 10 months ago
2000
ACM
The paper discusses the use of electronic publishing for the preservation and dissemination of rare manuscript material. It is based both upon the authors’ earlier work on multi...
174
click to vote
TPDS
2010
15 years 4 months ago
2010
The circular sensing model has been widely used to estimate performance of sensing applications in existing analysis and simulations. While this model provides valuable high-level...
185
click to vote
ACMICEC
2006
ACM
16 years 13 days ago
2006
ACM
Applications and digital goods for mobile devices have been around for more than a decade. Recent technology development has also driven the use of mobile commerce technology. Mob...