Sciweavers

6829 search results - page 1118 / 1366
» Quantitative Generalizations of Languages
Sort
View
DAC
2007
ACM
15 years 8 months ago
Verification Methodologies in a TLM-to-RTL Design Flow
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...
Atsushi Kasuya, Tesh Tesfaye
DAC
2007
ACM
15 years 8 months ago
Memory Modeling in ESL-RTL Equivalence Checking
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...
Alfred Kölbl, Jerry R. Burch, Carl Pixley
CIKM
2009
Springer
15 years 8 months ago
Multidimensional political spectrum identification and analysis
In this work, we show the importance of multidimensional opinion representation in the political context combining domain knowledge and results from principal component analysis. ...
Leilei Zhu, Prasenjit Mitra
CIKM
2009
Springer
15 years 8 months ago
Terminology mining in social media
The highly variable and dynamic word usage in social media presents serious challenges for both research and those commercial applications that are geared towards blogs or other u...
Magnus Sahlgren, Jussi Karlgren
DEBS
2007
ACM
15 years 8 months ago
Concepts and models for typing events for event-based systems
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
Szabolcs Rozsnyai, Josef Schiefer, Alexander Schat...
« Prev « First page 1118 / 1366 Last » Next »