1655 search results - page 226 / 331 » Visual tool for generative programming |
112
Voted
MEMOCODE
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
110
click to vote
CADE
2005
Springer
16 years 28 days ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
132
click to vote
JCDL
2003
ACM
15 years 5 months ago
2003
ACM
The increasing power of techniques to model complex geometry and extract meaning from 3D information create complex data that must be described, stored, and displayed to be useful...
131
Voted
BMCBI
2004
15 years 14 days ago
2004
Background: Microarray and other high-throughput technologies are producing large sets of interesting genes that are difficult to analyze directly. Bioinformatics tools are needed...
115
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...