6800 search results - page 985 / 1360 » Testing with Functions as Specifications |
178
click to vote
ENTER
2007
Springer
15 years 10 months ago
2007
Springer
This paper reports an explanatory study of using Google Map API to develop two destinationspecific tourist information tools: a handheld tour guide and an online trip planner for ...
202
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. We study the implementation on grid systems of an efficient algorithm for demanding global optimization problems. Specifically, we consider problems arising in the geneti...
153
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
Traditional digital circuit synthesis flows start from an HDL behavioral definition and assume that circuit functions are almost completely defined, making don't-care conditio...
188
click to vote
ICASSP
2007
IEEE
15 years 10 months ago
2007
IEEE
Our purpose is to study how different muscles collaborate together to efficiently create a smooth, coordinated reaching movement. In the EMG literature, it has been commonplace to...
176
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
1 A number of recent applications have been built on distributed hash tables (DHTs) based overlay networks. Almost all DHT-based schemes employ a tight deterministic data placement...