333 search results - page 40 / 67 » The Problem with Threads |
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
103
click to vote
RP
2009
Springer
15 years 4 months ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
85
Voted
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper, we propose a novel method for dexterous manipulation planning problem of rotating object with surface of revolution using a robotic multi-fingered hand. This me...
ICESS
2007
Springer
15 years 3 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
103
click to vote
ICITA
2005
IEEE
15 years 3 months ago
2005
IEEE
Web-based content management systems present specific presentation and navigational problems for visually impaired users. These systems are widely used in e-learning, ironically t...