6111 search results - page 716 / 1223 » Time, Hardware, and Uniformity |
170
click to vote
SIGMETRICS
1994
ACM
15 years 11 months ago
1994
ACM
Shade is an instruction-set simulator and custom trace generator. Application programs are executed and traced under the control of a user-supplied trace analyzer. To reduce commu...
209
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
1 The low throughput at IC (Integrated Circuit) testing is mainly due to the increasing test data volume, which leads to high ATE (Automatic Test Equipment) memory requirements and...
209
click to vote
AICCSA
2007
IEEE
15 years 11 months ago
2007
IEEE
Location Based Services (LBSs) provide personalized services to the subscribers based on their current position using Global Navigation Satellite System (GNSS), Geographic Informa...
170
click to vote
COMPSYSTECH
2007
15 years 11 months ago
2007
: Internet offers a huge amount of didactic materials that can be used in creating new online courses. However, those materials need a deep analysis to understand their context and...
197
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...