Sciweavers

3451 search results - page 99 / 691
» The Architecture and Implementation of Resource Space Model ...
Sort
View
FLAIRS
2003
14 years 11 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 1 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»
15 years 10 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
14 years 11 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 3 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