Sciweavers

3451 search results - page 99 / 691
» The Architecture and Implementation of Resource Space Model ...
Sort
View
FLAIRS
2003
15 years 7 months ago
A Vector Space Equalization Scheme for a Concept-based Collaborative Information Retrieval System
This paper describes a vector space equalization scheme for a concept-based collaborative information retrieval system; evaluation results are given. The authors previously propos...
Takashi Yukawa, Sen Yoshida, Kazuhiro Kuwabara
ATVA
2006
Springer
130views Hardware» more  ATVA 2006»
15 years 10 months ago
The Implementation of Mazurkiewicz Traces in POEM
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
Peter Niebert, Hongyang Qu
VLSID
2004
IEEE
119views VLSI» more  VLSID 2004»
16 years 6 months ago
Rapid Prototyping for Configurable System-on-a-Chip Platforms: A Simulation Based Approach
The design of any application on a configurable System-on-a-Chip (SoC) like Atmel's FPSLIC is subject to a lot of constraints stemming from requirements of the application an...
Jens Bieger, Sorin A. Huss, Michael Jung, Stephan ...
PODC
2010
ACM
15 years 8 months ago
Brief announcement: adaptive content placement for peer-to-peer video-on-demand systems
In this paper, we address the problem of content placement in peer-to-peer systems, with the objective of maximizing the utilization of peers' uplink bandwidth resources. We ...
Bo Tan, Laurent Massoulié
ICSE
2003
IEEE-ACM
15 years 11 months ago
Requirements, Architectures and Risks
There is wide agreement that architecture plays a prominent role in large, complex software systems. Selection of an appropriate architecture – one that matches the system requi...
James D. Kiper, Martin S. Feather