Sciweavers

21984 search results - page 289 / 4397

» C

162

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

15 years 12 months ago

Model Checking Software via Abstraction of Loop Transitions

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

125

FPGA
2003
ACM

88views FPGA» more FPGA 2003»

High-level modeling and FPGA prototyping of microprocessors

15 years 12 months ago

High-level modeling and FPGA prototyping of microprocessors

Download www.ece.cmu.edu

Joydeep Ray, James C. Hoe

claim paper

Read More »

159

AFRICACRYPT
2010
Springer

157views Cryptology» more AFRICACRYPT 2010»

Communication Efficient Perfectly Secure VSS and MPC in Asynchronous Networks with Optimal Resilience

15 years 11 months ago

Communication Efficient Perfectly Secure VSS and MPC in Asynchronous Networks with Optimal Resilience

Download 2010.africacrypt.com

Arpita Patra, Ashish Choudhary, C. Pandu Rangan

claim paper

Read More »

111

DATE
2002
IEEE

65views Hardware» more DATE 2002»

Multiple-Precision Circuits Allocation Independent of Data-Objects Length

15 years 11 months ago

Multiple-Precision Circuits Allocation Independent of Data-Objects Length

Download www.date-conference.com

María C. Molina, José M. Mendí...

claim paper

Read More »

87

Voted

ICRA
2002
IEEE

97views Robotics» more ICRA 2002»

Toward Practical Cooperative Stereo for Robotic Colonies

15 years 11 months ago

Toward Practical Cooperative Stereo for Robotic Colonies

Download www.ri.cmu.edu

Bart C. Nabbe, Martial Hebert

claim paper

Read More »

« Prev « First page 289 / 4397 Last » Next »