9974 search results - page 1377 / 1995 » Software Interconnection Models |
245
click to vote
APCSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Although they have been the main server technology for many years, multiprocessors are undergoing a renaissance due to multi-core chips and the attractive scalability properties of...
164
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
183
click to vote
MEMOCODE
2006
IEEE
16 years 1 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
163
click to vote
SEW
2006
IEEE
16 years 1 months 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...
213
click to vote
HT
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, an approach for the implementation of a qualitybased Web search engine is proposed. Quality retrieval is introduced and an overview on previous efforts to implement...