1229 search results - page 126 / 246 » Graph-Based Design and Analysis of Dynamic Software Architec... |
141
Voted
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...
148
click to vote
CSREAESA
2003
15 years 5 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
151
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate ...
137
Voted
IUI
1997
ACM
15 years 8 months ago
1997
ACM
FUSE (Formal User Interface Specification Environment) is an integrated user interface development environment that offers tool-based support for all phases of the interface desig...
131
Voted
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...