5015 search results - page 626 / 1003 » Model Checking a Path |
159
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
We present a heavily parametrized tool suite that allows the modeling and exploration of heterogeneous, coarse-grained, heavily pipelined reconfigurable architectures. Our tools p...
155
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
: CMOS circuits have significant amounts of dynamic short-circuit (or through) current. This can be as large as 20% of the total in well-designed circuits, and up to 80% of the tot...
155
click to vote
NAACL
2007
15 years 8 months ago
2007
This paper describes an efficient method to extract large n-best lists from a word graph produced by a statistical machine translation system. The extraction is based on the k sh...
189
click to vote
DLT
2003
15 years 8 months ago
2003
In recent years generalized acceptance criteria for different nondeterministic computation models have been examined. Instead of the common definition where an input word is said...
148
Voted
INFORMATICALT
2006
15 years 6 months ago
2006
An algorithm for scheduling the trajectory of a point object, which moves on a plane surface comprising of moving obstacles, is introduced. Different quantitative criteria may be m...