3161 search results - page 511 / 633 » Documenting framework behavior |
118
Voted
ICECCS
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
125
click to vote
ICSM
2009
IEEE
15 years 9 months ago
2009
IEEE
Nowadays, programmers spend much of their workday dealing with code libraries and frameworks that are bloated with APIs. One common way of interacting with APIs is through Code Co...
122
Voted
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—This paper presents a protocol-independent approach to reveal a new insight into the performance of carrier sense multiple access with collision avoidance (CSMA/CA) prot...
149
Voted
EMSOFT
2009
Springer
15 years 9 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
113
Voted
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delega...