1950 search results - page 83 / 390 » Lambda-Free Logical Frameworks |
194
click to vote
ASAP
2008
IEEE
16 years 1 months ago
2008
IEEE
Process technology has reduced in size such that it is possible to implement complete applicationspecific architectures as Systems-on-Chip (SoCs) using both Application-Specific I...
162
click to vote
AOSE
2007
Springer
16 years 28 days ago
2007
Springer
This paper describes how the Organization-based Multiagent Systems Engineering (O-MaSE) methodology can be applied to an exemplar multiagent system, the Conference Management Syste...
188
click to vote
GPCE
2007
Springer
16 years 27 days ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
171
click to vote
ISCA
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents a high-availability system architecture called INDRA — an INtegrated framework for Dependable and Revivable Architecture that enhances a multicore processor ...
197
click to vote
IEEEPACT
2005
IEEE
16 years 10 days ago
2005
IEEE
Helper threading is a technique that utilizes a second core or logical processor in a multi-threaded system to improve the performance of the main thread. A helper thread executes...