6530 search results - page 695 / 1306 » Application Integration |
188
Voted
FCCM
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper will describe the architecture of a compiler which will convert an untimed C description of a set of floating point expressions into a synthesizable datapath optimized ...
170
Voted
ISVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
175
click to vote
ICPADS
2005
IEEE
16 years 26 days ago
2005
IEEE
Accurate measurement and modeling of IP networks is essential for network design, planning, and management. Efforts are being made to detect the state of the network from end-to-e...
197
Voted
ICIC
2005
Springer
16 years 24 days ago
2005
Springer
This paper describes the architecture of a computer system conceived as an intelligent assistant for public transport management. The goal of the system is to help operators of a c...
155
click to vote
CHI
2003
ACM
16 years 16 days ago
2003
ACM
Kinetic Typography, text whose appearance changes over time, is emerging as a new form of expression due to its ability to add emotional content to text. We explored the potential...