7202 search results - page 968 / 1441 » Software System Engineering: A Tutorial |
220
click to vote
CMSB
2006
Springer
15 years 11 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
241
click to vote
LCTRTS
2010
Springer
16 years 2 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
199
click to vote
UIST
2005
ACM
16 years 1 months ago
2005
ACM
System administrators work with many different tools to manage and fix complex hardware and software infrastructure in a rapidly paced work environment. Through extensive field st...
196
click to vote
DAC
2010
ACM
15 years 11 months ago
2010
ACM
Complex embedded systems have always been heterogeneous multicore systems. Because of the tight constraints on power, performance and cost, this situation is not likely to change a...
204
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...