314 search results - page 20 / 63 » Generating Path Conditions for Timed Systems |
ENTCS
2007
13 years 7 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
NN
2010
Springer
13 years 6 months ago
2010
Springer
This study shows that a mixture of RNN experts model can acquire the ability to generate sequences that are combination of multiple primitive patterns by means of self-organizing ...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
— This work presents a robust background calibration scheme for switched-capacitor (SC) pipelined analog-to-digital converters. A SC multiplying digital-to-analog converter (MDAC...
IAJIT
2008
13 years 7 months ago
2008
: Internet-based Mobile Ad Hoc Networking (MANET) is an emerging technology that supports self-organizing mobile networking infrastructures. This is expected to be of great use in ...
MOBICOM
2006
ACM
14 years 1 months ago
2006
ACM
Indoor ranging and location in WLAN is possible through obtaining Round-Trip-Time (RTT) measurements at data link level. This procedure allows using the existing IEEE 802.11 WLAN ...