10718 search results - page 1843 / 2144 » On the Circuit Implementation Problem |
317
click to vote
PAMI
2010
15 years 1 months ago
2010
Abstract--The capacity for realtime synchronization and coordination is a common ability among trained musicians performing a music score that presents an interesting challenge for...
181
click to vote
PC
2010
15 years 1 months ago
2010
We study the forward and backward substitution phases of a sparse multifrontal factorization. These phases are often neglected in papers on sparse direct factorization but, in man...
201
click to vote
PVLDB
2010
15 years 1 months ago
2010
Recent legislation has increased the requirements of organizations to report data breaches, or unauthorized access to data. While access control policies are used to restrict acce...
221
click to vote
TDP
2010
15 years 1 months ago
2010
The widespread adoption of location-based services (LBS) raises increasing concerns for the protection of personal location information. A common strategy, referred to as obfuscati...
195
click to vote
TII
2010
15 years 1 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...