1099 search results - page 186 / 220 » Using Transformation Systems for Software Maintenance and Re... |
130
click to vote
ASWEC
2010
IEEE
15 years 3 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
122
click to vote
CODES
2005
IEEE
15 years 8 months ago
2005
IEEE
Even after carefully tuning the memory characteristics to the application properties and the processor speed, during the execution of real applications there are times when the pr...
128
click to vote
FPGA
1995
ACM
15 years 6 months ago
1995
ACM
During the development of computer peripherals which interface to the processor via the system bus it is often necessary to acquire the signals on the bus at the hardware level. I...
121
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
162
click to vote
CIDR
2011
14 years 6 months ago
2011
Data state in a data management system such as a database is the result of the transactions performed on that data management system. Approaches such as single-message transaction...