Sciweavers

4581 search results - page 145 / 917
» Computing Transformation Semigroups
Sort
View
SCAM
2009
IEEE
16 years 1 months ago
thr2csp: Toward Transforming Threads into Communicating Sequential Processes
—As multicore and heterogeneous multiprocessor platforms replace uniprocessor systems, software programs must be designed with a greater emphasis on concurrency. Threading has be...
Robert Charles Lange, Spiros Mancoridis
ICIAR
2009
Springer
16 years 28 days ago
Scale Invariant Feature Transform with Irregular Orientation Histogram Binning
The SIFT (Scale Invariant Feature Transform) descriptor is a widely used method for matching image features. However, perfect scale invariance can not be achieved in practice becau...
Yan Cui, Nils Hasler, Thorsten Thormählen, Ha...
PPDP
2009
Springer
16 years 27 days ago
An embedded declarative data transformation language
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
Paul Tarau
ASAP
2006
IEEE
106views Hardware» more  ASAP 2006»
16 years 13 days ago
Throughput Optimized SHA-1 Architecture Using Unfolding Transformation
In this paper, we analyze the theoretical delay bound of the SHA-1 algorithm and propose architectures to achieve high throughput hardware implementations which approach this boun...
Yong Ki Lee, Herwin Chan, Ingrid Verbauwhede
ISORC
2006
IEEE
16 years 11 days ago
From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation
UML through its profiling mechanism is well adapted for the modeling of real-time software requirements and designs. It is becoming the de facto standard. On the other hand, seve...
Abdelouahed Gherbi, Ferhat Khendek