Sciweavers

24095 search results - page 264 / 4819
» Researchers and Development - Young Researches
Sort
View
CSUR
1999
114views more  CSUR 1999»
15 years 6 months ago
Directions for Research in Approximate System Analysis
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
Patrick Cousot
JODI
2002
64views more  JODI 2002»
15 years 6 months ago
Hypermedia and the Semantic Web: A Research Agenda
Jacco van Ossenbruggen, Lynda Hardman, Lloyd Rutle...
103
Voted
JUCS
2002
78views more  JUCS 2002»
15 years 6 months ago
Research in Structural Computing
David L. Hicks, Uffe Kock Wiil, Peter J. Nürn...