780 search results - page 36 / 156 » Introduction to Special Issue |
TCS
2002
13 years 8 months ago
2002
oole.stanford.edu/pub/ABSTRACTS Pratt, V.R., "Transition and Cancellation in Concurrency and Branching Time", Math. Structures in Comp. Sci., 13:4, 485-529, August 2003. ...
ICSE
2007
IEEE-ACM
14 years 2 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
IS
2007
13 years 8 months ago
2007
level of abstraction which is not only ideally suited for processing data on secondary storage but which also readily absorbs important issues in computational parallelism and in d...
EOR
2011
13 years 6 days ago
2011
Due to its complexity, its challenging features, and its practical relevance, personnel scheduling has been heavily investigated in the last few decades. However, there is a relati...
ICIP
1994
IEEE
14 years 10 months ago
1994
IEEE
Periodic or symmetric extensions are commonly used for processing images and other finitelength signals with a paraunitary Alter bank (PUFB).Unlike infinite-length signals, PUFBs ...