854 search results - page 49 / 171 » Addressing Dynamic Issues of Program Model Checking |
125
click to vote
JAVA
2001
Springer
15 years 6 months ago
2001
Springer
Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for...
122
click to vote
ICRA
2008
IEEE
15 years 8 months ago
2008
IEEE
— Legged robots represent great promise for transport in unstructured environments. However, it has been difficult to devise motion planning strategies that achieve a combinatio...
130
Voted
TACS
2001
Springer
15 years 6 months ago
2001
Springer
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
110
click to vote
CCE
2006
15 years 2 months ago
2006
Principal differential analysis (PDA) is an alternative parameter estimation technique for differential equation models in which basis functions (e.g., B-splines) are fitted to dy...
102
Voted
ICIW
2009
IEEE
15 years 9 months ago
2009
IEEE
So far, little research has addressed reuse and contextawareness with respect to rich web-based user interfaces. Uniform models for encapsulation and reuse have been developed for...