Sciweavers

1029 search results - page 80 / 206
» Requirements for Rich Internet Application Design Methodolog...
Sort
View
125
Voted
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
15 years 9 months ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
140
Voted
ISOLA
2010
Springer
15 years 2 months ago
Towards More Adaptive Voice Applications
With the Internet designed to provide best-effort packet transmission, applications are expected to adapt dynamically to the operating conditions observed in the network. For this ...
Jörg Ott
105
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
3rd international workshop on advances and applications of problem frames
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
Thein Than Tun, Jon G. Hall, Lucia Rapanotti, Karl...
115
Voted
WSE
2005
IEEE
15 years 9 months ago
Developing Component-based Adaptive Web Applications with the AMACONTBuilder
The growing need for personalization and device independence calls for effective ways of engineering adaptive Web applications. This requires formats, languages and structured pro...
Zoltán Fiala, Michael Hinz, Klaus Meiß...
113
Voted
WWW
2010
ACM
15 years 10 months ago
Web-scale k-means clustering
We present two modifications to the popular k-means clustering algorithm to address the extreme requirements for latency, scalability, and sparsity encountered in user-facing web...
D. Sculley