2960 search results - page 295 / 592 » A vision for embedded software |
160
click to vote
PPPJ
2003
ACM
15 years 12 months ago
2003
ACM
Roles are a powerful paradigm to develop distributed applications based on agents, especially when they are in need of interacting with other entities. An agent-oriented approach ...
165
click to vote
CASES
2000
ACM
15 years 11 months ago
2000
ACM
We describe an automated environment to assist a system-on-achip designer to tune a microprocessor core to a particular application program that will run on the microprocessor, an...
282
click to vote
APAL
2011
15 years 1 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
207
click to vote
CODES
2005
IEEE
16 years 9 days ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
191
click to vote
SCOPES
2004
Springer
16 years 19 hour ago
2004
Springer
For mobile embedded systems, the energy consumption is a limiting factor because of today’s battery capacities. Besides the processor, memory accesses consume a high amount of en...