3119 search results - page 475 / 624 » Abstract Requirement Analysis in Multiagent System Design |
136
click to vote
SEW
2006
IEEE
16 years 11 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
176
click to vote
MMM
2005
Springer
15 years 12 months ago
2005
Springer
Users of multimedia applications today are equipped with a variety of different (mobile) devices that each come with different operating systems, memory and CPU capabilities, netw...
170
click to vote
CF
2010
ACM
15 years 11 months ago
2010
ACM
Tuning applications for multi-core systems involve subtle concepts and target-dependent optimizations. New languages are being designed to express concurrency and locality without...
144
click to vote
TVLSI
2011
15 years 1 months ago
2011
Abstract—Bitstream compression is important in reconfigurable system design since it reduces the bitstream size and the memory requirement. It also improves the communication ba...
147
click to vote
ISCA
2005
IEEE
15 years 12 months ago
2005
IEEE
Sensor network processors and their applications are a growing area of focus in computer system research and design. Inherent to this design space is a reduced processing performa...