6201 search results - page 1025 / 1241 » Implementation of Axiomatic Language |
177
click to vote
INFOVIS
2005
IEEE
16 years 5 days ago
2005
IEEE
Exploratory visualization environments allow users to build and browse coordinated multiview visualizations interactively. As the number of views and amount of coordination increa...
184
click to vote
ITCC
2005
IEEE
16 years 5 days ago
2005
IEEE
These days, billions of Web pages are created with HTML or other markup languages. They only have a few uniform structures and contain various authoring styles compared to traditi...
158
click to vote
QSIC
2005
IEEE
16 years 5 days ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
175
click to vote
RTCSA
2005
IEEE
16 years 5 days ago
2005
IEEE
While enabling fast implementation and reconfiguration of stream applications, programmable stream processors expose issues of incompatibility and lack of adoption in existing st...
148
click to vote
ASPDAC
2005
ACM
16 years 4 days ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...