Sciweavers

1461 search results - page 170 / 293
» On Regular Reduced Products
Sort
View
KBSE
2003
IEEE
14 years 2 months ago
An Empirical Study on Groupware Support for Software Inspection Meetings
Software inspection is an effective way to assess product quality and to reduce the number of defects. In a software inspection the inspection meeting is a key activity to agree o...
Paul Grünbacher, Michael Halling, Stefan Biff...
ICS
2010
Tsinghua U.
14 years 1 months ago
Overlapping communication and computation by using a hybrid MPI/SMPSs approach
– Communication overhead is one of the dominant factors that affect performance in high-performance computing systems. To reduce the negative impact of communication, programmers...
Vladimir Marjanovic, Jesús Labarta, Eduard ...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
14 years 1 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
MICRO
1997
IEEE
139views Hardware» more  MICRO 1997»
14 years 1 months ago
The Filter Cache: An Energy Efficient Memory Structure
Most modern microprocessors employ one or two levels of on-chip caches in order to improve performance. These caches are typically implemented with static RAM cells and often occu...
Johnson Kin, Munish Gupta, William H. Mangione-Smi...
ARC
2008
Springer
186views Hardware» more  ARC 2008»
13 years 11 months ago
FPGA-based Real-time Super-Resolution on an Adaptive Image Sensor
Recent technological advances in imaging industry have lead to the production of imaging systems with high density pixel sensors. However, their long exposure times limit their app...
Maria E. Angelopoulou, Christos-Savvas Bouganis, P...