3911 search results - page 657 / 783 » Using Operational Architecture to Model Embedded Software |
133
Voted
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents an efficient methodology for estimating the energy consumption of application programs running on extensible processors. Extensible processors, which are incr...
165
click to vote
SENSYS
2003
ACM
15 years 10 months ago
2003
ACM
Simple in-network data aggregation (or fusion) techniques for sensor networks have been the focus of several recent research efforts, but they are insufficient to support advance...
141
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
With the increasing trend of microprocessor manufacturers to rely on parallelism to increase their products’ performance, there is an associated increasing need for simple techn...
121
click to vote
ADBIS
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. In today’s world, document management plays an increasingly important role. However, there is currently no solution to manage complex documents in an integrated manner....
160
click to vote
ENTCS
2008
15 years 5 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...