Sciweavers

626 search results - page 5 / 126

» Towards a Unified Programming Language

118

Voted

IFIP
1994
Springer

147views Programming Languages» more IFIP 1994»

Towards a model of exploration in computer-aided design

15 years 9 months ago

Towards a model of exploration in computer-aided design

Download mason.gmu.edu

John S. Gero

claim paper

Read More »

95

Voted

SIGADA
1993
Springer

76views Programming Languages» more SIGADA 1993»

Towards Target-Level Testing and Debugging Tools for Embedded Software

15 years 9 months ago

Towards Target-Level Testing and Debugging Tools for Embedded Software

Download sunset.usc.edu

Harry Koehnemann, Timothy E. Lindquist

claim paper

Read More »

121

Voted

ERLANG
2007
ACM

109views Programming Languages» more ERLANG 2007»

Towards hard real-time Erlang

15 years 9 months ago

Towards hard real-time Erlang

Download www.erlang.se

Vincenzo Nicosia

claim paper

Read More »

118

Voted

IFIP
2000
Springer

85views Programming Languages» more IFIP 2000»

Toward an Integrated Theory of IT-related Risk Control

15 years 8 months ago

Toward an Integrated Theory of IT-related Risk Control

Download www.bentley.edu

M. Lynne Markus

claim paper

Read More »

137

Voted

APLAS
2010
ACM

101views Programming Languages» more APLAS 2010»

From a Verified Kernel towards Verified Systems

15 years 4 months ago

From a Verified Kernel towards Verified Systems

Download www.cse.unsw.edu.au

Gerwin Klein

claim paper

Read More »

« Prev « First page 5 / 126 Last » Next »