http:^^www.cs.utexas.edu^users^cpg^rts^

来自「This data set contains WWW-pages collect」· EDU^USERS^CPG^RTS^ 代码 · 共 81 行

EDU^USERS^CPG^RTS^
81 行
字号 
MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:46:53 GMT
Content-Type: text/html
Content-Length: 2160
Last-Modified: Wednesday, 14-Aug-96 18:57:02 GMT

<HTML><HEAD><title>UTCS Real-Time Systems Research Group</title></HEAD><BODY><PRE><H1><!WA0><!WA0><!WA0><!WA0><!WA0><IMG ALT="" ALIGN=MIDDLE SRC="http://www.cs.utexas.edu/users/cpg/RTS/UTCS-RTS5.gif"><!WA1><!WA1><!WA1><!WA1><!WA1><IMGALT="Real-Time Systems GroupDepartment of Computer SciencesThe University of Texas at Austin"ALIGN=MIDDLE SRC="http://www.cs.utexas.edu/users/cpg/RTS/rts-text.gif"></H1></PRE>The Real-Time Systems research group is headed by<!WA2><!WA2><!WA2><!WA2><!WA2><a href=http://www.cs.utexas.edu/users/cpg/RTS/mok.html>Prof. Aloysius Mok</a>.In the past few years, we have worked towards laying the groundworkfor establishing a firm theoretical foundation for real-time systemsand also to build design tools based on this foundation. Our work canbe categorized into three areas as follows:<ul>	<li>Specification and Modeling: precise formulation of real-time properties of systems.	<li>Analysis and Verification: reasoning about real-time properties.        <li>Synthesis: enforcing stringent  timing  constraints  and other real-time properties.</ul><H1>Projects</H1><ul>	<li> RTL (Real-Time Logic)	<li> Modechart Toolset	<ul> <li> Modechart Editor	     <li> Modechart Verifier	     <li> Modechart Simulator	     <li> Modechart Compiler	</ul>	<li> Timetool	<li> Ged	<li> Scenario Language</ul><H1>Publications</H1><!WA3><!WA3><!WA3><!WA3><!WA3><a href="http://www.cs.utexas.edu/users/cpg/RTS/abs">Abstracts</a> of some ofthe group's <!WA4><!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.utexas.edu/users/cpg/RTS/papers">papers</a> are availableonline in PostScript.<p><H1>Current Members</H1><ul>	<li> <!WA5><!WA5><!WA5><!WA5><!WA5><a href=http://www.cs.utexas.edu/users/cdj>Deji Chen</a>	<li> <!WA6><!WA6><!WA6><!WA6><!WA6><a href=http://www.cs.utexas.edu/users/cpg>Carlos Puchol</a>	<li> <!WA7><!WA7><!WA7><!WA7><!WA7><a href=http://www.cs.utexas.edu/users/dastuart>Doug Stuart</a>	<li> <!WA8><!WA8><!WA8><!WA8><!WA8><a href=http://www.cs.utexas.edu/users/duuchung>Duu-chung Tsou</a>	<li> <!WA9><!WA9><!WA9><!WA9><!WA9><a href=http://www.cs.utexas.edu/users/liugt>Guangtian Liu</a>	<li> <!WA10><!WA10><!WA10><!WA10><!WA10><a href=http://www.cs.utexas.edu/users/rhwang>Rwo-Hsi Wang</a>	<li> <!WA11><!WA11><!WA11><!WA11><!WA11><a href=http://www.cs.utexas.edu/users/jinyang>Jin Yang</a></ul><H1>Alumni</H1><ul><li> <!WA12><!WA12><!WA12><!WA12><!WA12><a href=http://www.cs.ccu.edu.tw/~ktw/>Tei-Wei Kuo</a><li> Paul Clements<li> <!WA13><!WA13><!WA13><!WA13><!WA13><a href=http://www.cs.utexas.edu/users/ckwang>Chih-kan Wang</a><li> <!WA14><!WA14><!WA14><!WA14><!WA14><a href=http://www.cs.utexas.edu/users/farn>Farn Wang</a><li> Supoj Suthandavibul<li> <!WA15><!WA15><!WA15><!WA15><!WA15><a href=http://www.eecs.umich.edu/~farnam/>Farnam Jahanian</a></ul></BODY></HTML>

http:^^www.cs.utexas.edu^users^cpg^rts^ - 源码说明

本页面展示了「This data set contains WWW-pages collected from computer science departments of various universities」中的 http:^^www.cs.utexas.edu^users^cpg^rts^ 源码文件，采用 EDU^USERS^CPG^RTS^ 编程语言编写，共 81 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫开发者社区收录了大量与数据集相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?