Sciweavers

1312 search results - page 211 / 263
» A Software Process Scheduling Simulator
Sort
View
CODES
2006
IEEE
15 years 4 months ago
Automatic run-time extraction of communication graphs from multithreaded applications
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...
Ai-Hsin Liu, Robert P. Dick
ISSTA
2009
ACM
15 years 2 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
COMPSAC
2010
IEEE
14 years 8 months ago
Behavior Monitoring in Self-Healing Service-Oriented Systems
Web services and service-oriented architecture (SOA) have become the de facto standard for designing distributed and loosely coupled applications. Many servicebased applications de...
Harald Psaier, Florian Skopik, Daniel Schall, Scha...
CODES
2001
IEEE
15 years 1 months ago
Embedded UML: a merger of real-time UML and co-design
In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concept...
Grant Martin, Luciano Lavagno, Jean Louis-Guerin
ICCHP
2010
Springer
14 years 12 months ago
Redefining Assumptions: Accessibility and Its Stakeholders
Abstract. Accessibility is becoming more and more relevant in Information technologies, such as the Web and software applications, particularly due to the push on legislation to ma...
Rui Lopes, Karel Van Isacker, Luís Carri&cc...