1173 search results - page 198 / 235 » Program Derivation Using Analogy |
102
Voted
EUROPAR
2009
Springer
15 years 8 months ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
125
click to vote
RTCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
Real-time systems typically have to satisfy complex requirements, mapped to the task attributes, eventually guaranteed by the underlying scheduler. These systems consist of a mix ...
115
click to vote
WIMOB
2008
IEEE
15 years 8 months ago
2008
IEEE
—We consider the rate allocation problem for data aggregation in wireless sensor networks with two objectives: 1) maximizing the lifetime of a local aggregation cluster and, 2) a...
110
click to vote
CSEE
2007
Springer
15 years 8 months ago
2007
Springer
Extensive instructional materials have been developed and used for courses in specific software architecture topics offered at the Software Engineering Institute (SEI) at Carnegie...
123
click to vote
EPIA
2007
Springer
15 years 8 months ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...