1794 search results - page 343 / 359 » GRIDS, Databases, and Information Systems Engineering Resear... |
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
LCTRTS
2007
Springer
14 years 3 months ago
2007
Springer
The Instruction Register File (IRF) is an architectural extension for providing improved access to frequently occurring instructions. An optimizing compiler can exploit an IRF by ...
CIAC
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. We consider problems of (new) station placement along (existing) railway tracks, so as to increase the number of users. We prove that, in spite of the NP-hardness for the...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Although most of existing research usually detects events by analyzing the content or structural information of Web documents, a recent direction is to study the usage data. In th...
AUTOMOTIVEUI
2009
ACM
14 years 3 months ago
2009
ACM
Auditory display research for driving has mainly focused on collision warning signals, and recent studies on auditory invehicle information presentation have examined only a limit...