2226 search results - page 245 / 446 » Pdk: The System and Its Language |
161
click to vote
COST
2007
Springer
16 years 23 days ago
2007
Springer
The paper presents platform for web based TTS modules and systems evaluation named RES (Remote Evaluation System). It is being developed within the European Centre of Excellence fo...
179
click to vote
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
201
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
159
click to vote
ADBIS
2006
Springer
16 years 17 days ago
2006
Springer
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...
170
click to vote
VRML
2003
ACM
15 years 12 months ago
2003
ACM
Multi-user virtual environment (MUVE) systems integrate the technologies of virtual reality and distributed system to allow users to interact with each other in a realistic virtua...