Sciweavers

5777 search results - page 355 / 1156
» The palladio component model
Sort
View
186
Voted
ESA
1998
Springer
154views Algorithms» more  ESA 1998»
15 years 11 months ago
A Functional Approach to External Graph Algorithms
We present a new approach for designing external graph algorithms and use it to design simple, deterministic and randomized external algorithms for computing connected components, ...
James Abello, Adam L. Buchsbaum, Jeffery Westbrook
190
Voted
ECHT
1992
15 years 11 months ago
Design Issues for a Dexter-Based Hypermedia System
This paper discusses experiences and lessons learned from the design of an open hypermedia system, one that integrates applications and data not "owned" by the hypermedi...
Kaj Grønbæk, Randall H. Trigg
234
Voted
FDL
2004
IEEE
15 years 11 months ago
A Formal Verification Approach for IP-based Designs
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
Daniel Karlsson, Petru Eles, Zebo Peng
LREC
2010
166views Education» more  LREC 2010»
15 years 9 months ago
Learning Based Java for Rapid Development of NLP Systems
Today's natural language processing systems are growing more complex with the need to incorporate a wider range of language resources and more sophisticated statistical metho...
Nick Rizzolo, Dan Roth
170
Voted
MS
2003
15 years 9 months ago
Model-based Optimization of an Infrared Gas Sensor
Manufacturing test structures of microsensors and microactuators is very expensive in terms of time and materials. In a conventional design process, this limits the number of desi...
Ingo Sieber, Karl-Heinz Suphan