Sciweavers

1150 search results - page 138 / 230
» Advanced MPI Programming
Sort
View
ICMCS
2005
IEEE
170views Multimedia» more  ICMCS 2005»
15 years 3 months ago
Candela-Storage, Analysis, and Retrieval of Video Content in Distributed Systems: Personal Mobile Multimedia Management
Video management research has largely been ignoring the increased attractiveness of using camera-equipped mobile phones for the production of short home video clips, mostly consid...
Paavo Pietarila, Utz Westermann, Sari Järvine...
OOPSLA
2005
Springer
15 years 3 months ago
Inferring context-free grammars for domain-specific languages
Grammatical inference (or grammar inference) has been applied to various problems in areas such as computational biology, and speech and pattern recognition but its application to...
Faizan Javed
PACT
2005
Springer
15 years 3 months ago
Information Flow Analysis for VHDL
We describe a fragment of the hardware description language VHDL that is suitable for implementing the Advanced Encryption Standard algorithm. We then define an Information Flow a...
Terkel K. Tolstrup, Flemming Nielson, Hanne Riis N...
ASPDAC
2004
ACM
87views Hardware» more  ASPDAC 2004»
15 years 3 months ago
ShatterPB: symmetry-breaking for pseudo-Boolean formulas
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Kare...
SIGCSE
2004
ACM
94views Education» more  SIGCSE 2004»
15 years 3 months ago
Taming a professional IDE for the classroom
An important question that must be addressed in a coherent computing curriculum is which programming environments to use across the curriculum. For Java, currently the most widely...
Charles Reis, Robert Cartwright