7404 search results - page 630 / 1481 » New Tools in Education |
203
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
Many tools exist for developing real-time distributed groupware, but most of these tools focus primarily on the performance of the resulting system, or on simplifying the developm...
167
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
183
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper addresses an XML-based design environment, which provides a powerful basis for the manipulation of hardware design descriptions. The contribution of the paper is a flex...
189
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
—This report describes our ongoing work on a new end-to-end available-bandwidth measurement tool: FEAT (Fish-Eye Availablebandwidth Tool). FEAT features a new dynamic pattern of ...
170
click to vote
PASTE
2005
ACM
16 years 1 months ago
2005
ACM
When library APIs change, client code should change in response, in order to avoid erroneous behavior, compilation failures, or warnings. Previous research has introduced techniqu...