Results for:
"
Oriol+Bohigas&action
" in Documents
- Not Available.
-
Rating:
Views: ()
Pages: ()
Uploaded: 1947-1-1
- Using Reconstructed IVUS Images for Coronary Plaque Classification
- Abstract ? Coronary plaque rupture is one of the principal causes of sudden death in western societies. Reliable diagnostic of the different plaque types are of great interest for the medical communit...
-
Rating:
Views: (1011)
Pages: ()
Uploaded: 08-04-09
- Formal Verification And Testing Of Asynchronous Circuits 1997 7 citati...
- Idea Specification Validation Circuit Verification Circuit Specification High-level Synthesis Data-path Control Logic Module generators Logic Synthesis Test Generation Netlist Description Technology M...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Formal Verification And Testing Of Asynchronous Circuits 1997 7 citati...
- Idea Specification Validation Circuit Verification Circuit Specification High-level Synthesis Data-path Control Logic Module generators Logic Synthesis Test Generation Netlist Description Technology M...
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- In-hospital mortality as a function of body mass index: an age-depende...
- In a retrospective review of 8428 hospital admissions, the relationship between age, sex, disease category, body mass index, and mortality during hospitalization was examined. Records were analyzed fo...
-
Rating:
Views: (1)
Pages: ()
Uploaded: 1988-5-1
- Microwave near-fields on atom chips
- Abstract Microwave near-fields are a key ingredient for quantum information processing with atom chips. Our goal is to realize a quantum gate with the following features: the qubit is encoded in the ...
-
Rating:
Views: (2000)
Pages: (0)
Uploaded: Publication Date: 17-22 June 2007
- Conservative symbolic model-checking of Petri nets for speed-independe...
- This paper presents a conservative symbolic model-checking methodology for speedindependent circuits. The circuit specification is described by using Petri nets, which is the same formalism that sever...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Hierarchical Gate-Level Verification of Speed-Independent Circuits 199...
- This paper presents a method for the verification of speed-independent circuits. The main contribution is the reduction of the circuit to a set of complex gates that makes the verification time comple...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09