Sciweavers

4348 search results - page 594 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
16 years 2 days ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
VLDB
2007
ACM
166views Database» more  VLDB 2007»
16 years 21 days ago
To Share or Not To Share?
Intuitively, aggressive work sharing among concurrent queries in a database system should always improve performance by eliminating redundant computation or data accesses. We show...
Ryan Johnson, Nikos Hardavellas, Ippokratis Pandis...
ICIP
2004
IEEE
16 years 8 months ago
Quaternion wavelets for image analysis and processing
Using the concepts of two-dimensional Hilbert transform and analytic signal, we construct a new quaternion wavelet transform (QWT). The QWT forms a tight frame and can be efficien...
Wai Lam Chan, Hyeokho Choi, Richard G. Baraniuk
ISORC
2009
IEEE
16 years 1 months ago
Thread-Local Scope Caching for Real-time Java
There is increasing convergence between the fields of parallel and embedded computing. The demand for more functionality in embedded devices means that complex multicore architec...
Andy J. Wellings, Martin Schoeberl
DSD
2010
IEEE
110views Hardware» more  DSD 2010»
15 years 6 months ago
A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour
—The design of new embedded systems is getting more and more complex as more functionality is integrated into these systems. To deal with the design complexity, a predictable des...
Sander Stuijk, Marc Geilen, Twan Basten