Sciweavers

2048 search results - page 176 / 410
» Intelligent search techniques for large software systems
Sort
View
ICFEM
2009
Springer
16 years 1 months ago
Scalable Multi-core Model Checking Fairness Enhanced Systems
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
Yang Liu 0003, Jun Sun 0001, Jin Song Dong
ICC
2007
IEEE
100views Communications» more  ICC 2007»
16 years 26 days ago
S.T.R.E.S.S. : Stress Testing and Reverse Engineering for System Security
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...
Matteo Rosi, Leonardo Maccari, Romano Fantacci
AVI
2008
15 years 8 months ago
SparTag.us: a low cost tagging system for foraging of web content
Tagging systems such as del.icio.us and Diigo have become important ways for users to organize information gathered from the Web. However, despite their popularity among early ado...
Lichan Hong, Ed Huai-hsin Chi, Raluca Budiu, Peter...
ICALT
2009
IEEE
16 years 1 months ago
Collaboration Support in Argumentation Systems for Education via Flexible Architectures
While argumentation is highly important for humans in many different aspects of life, it is hard to teach large groups to argue. Classic face-to-face approaches, which have shown ...
Frank Loll, Niels Pinkwart
ISSS
1998
IEEE
129views Hardware» more  ISSS 1998»
15 years 10 months ago
Application-Specific Heterogeneous Multiprocessor Synthesis Using Differential-Evolution
This paper presents an application-specific, heterogeneous multiprocessor synthesis system, named HeMPS, that combines a form of Evolutionary Computation known as Differential Evo...
Allan Rae, Sri Parameswaran