Search Sciweavers | Sciweavers

16725 search results - page 420 / 3345

» Engineering Software Correctness

103

click to vote

CODES
1997
IEEE

69views Software Engineering» more CODES 1997»

Modeling micro-controller peripherals for high-level co-simulation and synthesis

15 years 9 months ago

Download www.cs.ucr.edu

Harry Hsieh, Alberto L. Sangiovanni-Vincentelli

claim paper

Read More »

118

Voted

COMPSAC
1997
IEEE

117views Software Engineering» more COMPSAC 1997»

Model-Based Architecture for the Intranet

15 years 9 months ago

Download img.jp.fujitsu.com

Hirotaka Hara, Takahide Matsutsuka, Nobuyuki Kanay...

claim paper

Read More »

Voted

ICSE
1998
IEEE-ACM

89views Software Engineering» more ICSE 1998»

Using Simulation to Build Inspection Efficiency Benchmarks for Development Projects

15 years 9 months ago

Download www.ehealthinformation.ca

Lionel C. Briand, Khaled El Emam, Oliver Laitenber...

claim paper

Read More »

click to vote

EUROMICRO
1997
IEEE

75views Software Engineering» more EUROMICRO 1997»

From serializable to causal transactions for collaborative applications

15 years 9 months ago

Download reference.kfupm.edu.sa

Michel Raynal, Gérard Thia-Kime, Mustaque A...

claim paper

Read More »

Voted

PEPM
1998
ACM

85views Software Engineering» more PEPM 1998»

Partial Evaluation for the Lambda Calculus

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers