1809 search results - page 311 / 362 » Software Model Checking Using Linear Constraints |
140
Voted
MICRO
2010
IEEE
15 years 18 days ago
2010
IEEE
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
133
Voted
INFOCOM
2008
IEEE
15 years 8 months ago
2008
IEEE
—Rate allocation is a fundamental problem in the operation of a wireless network because of the necessity to schedule the operation of mutually interfering links between the node...
221
Voted
TASE
2012
IEEE
13 years 9 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
116
click to vote
SC
2009
ACM
15 years 6 months ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...
129
Voted
DASFAA
2009
IEEE
15 years 9 months ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...