5863 search results - page 741 / 1173 » On Model-Checking of P Systems |
165
click to vote
SIGGRAPH
1998
ACM
15 years 11 months ago
1998
ACM
The bottle-neck in most cloth simulation systems is that time steps must be small to avoid numerical instability. This paper describes a cloth simulation system that can stably ta...
174
click to vote
ICDE
1991
IEEE
15 years 10 months ago
1991
IEEE
The maindi culty in enforcing globalserializabilityin a multidatabase environment lies in resolving indirect (transitive) con icts between multidatabase transactions. Indirect con...
201
click to vote
LISA
2008
15 years 9 months ago
2008
System administrators regularly use the top utility for understanding the resource consumption of the processes running on UNIX computers. Top provides an accurate and real-time d...
172
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Offline handwriting recognition (OHR) is an extremely challenging task because of many factors including variations in writing style, writing device and material, and noise in the ...
216
click to vote
ECRTS
2010
IEEE
15 years 7 months ago
2010
IEEE
The Earliest Deadline First scheduling algorithm (EDF) is known to not be optimal under global scheduling on multiprocessor platforms. Results have been obtained that bound the ma...