Search Sciweavers | Sciweavers

8627 search results - page 51 / 1726

» Software Engineering Using RATionale

124

click to vote

VMCAI
2007
Springer

89views Software Engineering» more VMCAI 2007»

Using First-Order Theorem Provers in the Jahob Data Structure Verification System

16 years 8 days ago

Download www.mit.edu

Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...

claim paper

Read More »

click to vote

COMPSAC
2002
IEEE

83views Software Engineering» more COMPSAC 2002»

Gigabit Packet Classification by Using Lookahead Caching

15 years 11 months ago

Download www.csie.nctu.edu.tw

Pi-Chung Wang, Wei-Chun Tseng, Chia-Tai Chan, Yaw-...

claim paper

Read More »

117

click to vote

COMPSAC
2000
IEEE

94views Software Engineering» more COMPSAC 2000»

Reliable Transaction Design Using MTS

15 years 10 months ago

Download salmosa.kaist.ac.kr

Il-Chul Yoon, Hyung-Ho Kim, Doo-Hwan Bae, Cheong Y...

claim paper

Read More »

131

click to vote

ICSM
1998
IEEE

113views Software Engineering» more ICSM 1998»

Clone Detection Using Abstract Syntax Trees

15 years 10 months ago

Download www.semdesigns.com

Ira D. Baxter, Andrew Yahin, Leonardo Mendon&ccedi...

claim paper

Read More »

118

click to vote

ADAEUROPE
1998
Springer

72views Software Engineering» more ADAEUROPE 1998»

Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers