Sciweavers

2154 search results - page 320 / 431
» Evidence-based software production
Sort
View
SIGCSE
1998
ACM
99views Education» more  SIGCSE 1998»
15 years 3 months ago
The ExCon project: advocating continuous examination
In this paper it is claimed that traditional examination often is destructive to the process of learning. It does not matter how good intentions educators have, it is the way they...
Urban Nuldén
IFIP
1993
Springer
15 years 3 months ago
Computer-Aided Manufacturing System Engineering
A new type of computer-aided engineering environment is envisioned which will improve the productivity of manufacturing/industrial engineers. This environment would be used by eng...
C. R. McLean
77
Voted
DATE
2004
IEEE
138views Hardware» more  DATE 2004»
15 years 2 months ago
Microarchitecture Development via Metropolis Successive Platform Refinement
Productivity data for IC designs indicates an exponential increase in design time and cost with the number of elements that are to be included in a device. Present applications re...
Douglas Densmore, Sanjay Rekhi, Alberto L. Sangiov...
CGI
2006
IEEE
15 years 2 months ago
Rendering Optical Effects Based on Spectra Representation in Complex Scenes
Rendering the structural color of natural objects or modern industrial products in the 3D environment is not possible with RGBbased graphics platforms and software and very time co...
Weiming Dong
LICS
2000
IEEE
15 years 2 months ago
Efficient and Flexible Matching of Recursive Types
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
Jens Palsberg, Tian Zhao