Sciweavers

2125 search results - page 100 / 425
» Points with Type-2 Operations
Sort
View
ICS
1998
Tsinghua U.
14 years 1 months ago
Dependence Driven Execution for Multiprogrammed Multiprocessor
Abstract Barrier synchronizations can be very expensive on multiprogramming environment because no process can go past a barrier until all the processes have arrived. If a process ...
Suvas Vajracharya, Dirk Grunwald
ISCAS
1993
IEEE
71views Hardware» more  ISCAS 1993»
14 years 1 months ago
Geometric characterization of series-parallel variable resistor networks
Abstract—The range of operating conditions for a seriesparallelnetworkofvariablelinearresistors, voltagesources, and current sources can be represented as a convex polygon in a T...
Randal E. Bryant, J. D. Tygar, Lawrence P. Huang
CATS
2006
13 years 10 months ago
Formalising the L4 microkernel API
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
Rafal Kolanski, Gerwin Klein
LOGCOM
2007
141views more  LOGCOM 2007»
13 years 8 months ago
Conciliation through Iterated Belief Merging
Two families of conciliation processes for intelligent agents based on an iterated merge-then-revise change function for belief profiles are introduced and studied. The processes ...
Olivier Gauwin, Sébastien Konieczny, Pierre...
FGCS
2000
96views more  FGCS 2000»
13 years 8 months ago
Logicflow execution model for parallel databases
The LOGFLOW parallel Prolog system is similar to the recent parallel database systems concerning its dataflow execution model and its capability of running on othing architectures...
Péter Kacsuk, Norbert Podhorszki